Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
911	Spatially-Adaptive Learning Rates for Online Incremental SLAM Edwin Olson, John Leonard, and Seth Teller MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA[removed]Email: [removed], jleonard@mit Add to Reading List Source URL: rvsn.csail.mit.edu Language: English - Date: 2007-08-29 11:14:28 Applied mathematics Convex optimization Linear programming Algorithm Mathematical optimization Theoretical computer science Constraint algorithm Operations research Constraint programming Mathematics
912	IP Ð#!!3Ñ 1 INTEGER LINEAR PROGRAMMING (IP) IP is the name given to LP problems which have the additional constraint that some or all the variables have to be integer. 1. CLASSICAL INTEGER PROGRAMMING PROBLEMS Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2003-10-13 09:44:24 Mega Man X4 Science Application software Software COMPASS/Sample Code PROPT Knowledge representation Logic form Natural language processing
913	ALGORITHMS FOR NONLINEAR PROGRAMMING AND MULTIPLE OBJECTIVE DECISIONS (J. Wiley, 1998; ISBN[removed]Berc¸ Rustem Department of Computing Imperial College of Science, Technology & Medicine Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-19 12:35:45 Linear programming Sequential quadratic programming Quadratic programming Optimization problem Nonlinear programming Multi-objective optimization Constraint optimization Convex optimization Ellipsoid method Mathematical optimization Numerical analysis Mathematical analysis
914	MDPOP: Faithful Distributed Implementation of Efficient Social Choice Problems Adrian Petcu ∗ Add to Reading List Source URL: liawww.epfl.ch Language: English - Date: 2011-01-18 06:56:45 Computer programming Distributed constraint optimization Software engineering Constraint optimization DCOP Mechanism design Constraint satisfaction Artificial intelligence Multi-agent system Constraint programming Mathematical optimization Computing
915	iondres moscou liew Vork Rige: Belgrade Add to Reading List Source URL: www.sec.gov Language: English - Date: 2008-10-24 09:53:38 Constraint programming ILOG Financial economics Finance Tender offer Cravath Swaine & Moore Warrant U.S. Securities and Exchange Commission Corporation Corporate finance Business Mergers and acquisitions
916	Microsoft Word - A-ECPManual.doc Add to Reading List Source URL: users.abo.fi Language: English - Date: 2005-10-21 02:03:00 Numerical analysis Convex optimization Cutting-plane method Linear programming Nonlinear programming Relaxation Constraint Ellipsoid method Mathematical optimization Operations research Mathematical analysis
917	Portfolio Optimization Part 2 – Constrained Portfolios John Norstad [removed] http://www.norstad.org Add to Reading List Source URL: www.norstad.org Language: English - Date: 2011-11-03 12:39:01 Mathematical analysis Lagrange multiplier Karush–Kuhn–Tucker conditions Constraint Derivative Vector space Quadratic programming Duality Constraint optimization Mathematical optimization Mathematics Algebra
918	Towards Pattern-based Reasoning for Friendly Ontology Debugging Add to Reading List Source URL: linc.ucy.ac.cy Language: English - Date: 2013-07-16 07:30:34 Computing Computer programming Object-Role Modeling Satisfiability EXPRESS Constraint Subtype polymorphism DogmaModeler Constraint logic programming Software engineering Constraint programming Data modeling
919	SNOPT Philip E. Gill; Department of Mathematics, University of California, San Diego, La Jolla, CA Walter Murray, Michael A. Saunders; Department of EESOR, Stanford University, Stanford, CA Arne Drud; ARKI Consulting and Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Applied mathematics Quadratic programming SNOPT Linear programming AMPL Simplex algorithm Constraint optimization Sequential quadratic programming Nonlinear system Mathematical optimization Operations research Numerical analysis
920	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research; University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-05-21 11:37:06 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number FO Theoretical computer science Applied mathematics Electronic design automation

UPDATE